Lightweight monadic regions